41. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
42. Formalna Logika
پدیدآورنده : \ Mohammad Hansari
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic ,منطق
رده :
BC50
.
H32F6
2017
43. Frege's Theorem
پدیدآورنده : \ Richard G. Heck, Jr
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,ف‍رگ، گ‍ات‍لاب،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی
رده :
B3245
.
F24
H43
2011
44. From Mathematics to Philosophy
پدیدآورنده : \ Hao Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
45. Frontiers of Combining Systems
پدیدآورنده : \ Carsten Lutz, Silvio Ranise (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01
رده :
QA
9
.
A1
F7
2015
E-Book
,
46. Fundamentals of Critical Argumentation
پدیدآورنده : / Douglas N. Walton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Reasoning,Argumentation,PHILOSOPHY -- Logic,استدلال,حجت (منطق),منطق ریاضی - فلسفه
رده :
BF463
.
W32
2006
47. Fuzzy Knowledge Management for the Semantic Web
پدیدآورنده : \ Zongmin Ma ... [et.al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,Semantic Web,Computational Intelligence,منطق فازی,وب معنایی,هوش محاسباتی
رده :
E-Book
,
48. Fuzzy Logic
پدیدآورنده : \ F. Martin McNeill, Ellen Thro
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic control,Expert systems (Computer science),Fuzzy logic,ن‍ظارت ماشینی,سیستم‌های خبره ( کامپیوتر),منطق فازی
رده :
E-Book
,
49. Fuzzy Logic and Expert Systems Applications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,Expert systems (Computer science),Neural networks (Computer science),منطق فازی,سیستم‌های خبره ( کامپیوتر),شبکه‌های عصبی (کامپیوتر)
رده :
E-Book
,
50. Fuzzy Logic and Mathematics
پدیدآورنده : \ Radim Bělohlávek, Joseph W. Dauben, and George J. Klir
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,Logic, symbolic and mathematical,منطق فازی,منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
51. Fuzzy Modeling and Genetic Algorithms for Data Mining and Exploration
پدیدآورنده : \ Earl Cox
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Data mining ,Fuzzy logic,داده‌کاوی ,منطق فازی,a03,a04,a03,a04
رده :
E-Book
,
52. Fuzzy Sets and Fuzzy Logic
پدیدآورنده : \ George J. Klir and Bo Yuan.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy sets,Fuzzy logic,مجموعه‌های فازی,منطق فازی,a03,a04,a03,a04
رده :
E-Book
,
53. God, Mind, and Logical Space
پدیدآورنده : \ István Aranyosi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : God ,Philosophy of mind,خدا,فلسفه ذهن,a01,a02,a01,a02,Logic.,منطق
رده :
BL
473
.
A7G6
2013
E-Book
,
54. God and Logic in Islam
پدیدآورنده : / John Walbridge
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Reason - Islamic philosophy,Logic,Faith and reason - Islam,عقل - فلسفه اسلامی,منطق,عقل و ایمان - اسلام
رده :
BBR55
.
R4
,
W35
2011
55. Handbook of logic and language
پدیدآورنده : / Johan Van Benthem, Alice ter Meulen.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
56. Handbook of the History of Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- History,منطق -- تاریخ
رده :
E-Book
,
57. Hegel’s Conception of the Determinate Negation
پدیدآورنده : \ By Terje Sparby
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Hegel, Georg Wilhelm Friedrich, 1770-1831.,Negation (Logic),ه‍گ‍ل، گ‍ئ‍ورگ وی‍ل‍ه‍ل‍م ف‍ری‍دری‍ش، ۱۷۷۰ - ۱۸۳۱م. ,(ن‍ف‍ی (منطق
رده :
E-Book
,
58. Inductive Logic Programming
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses,Induction (Logic) -- Congresses,برنامه‌نویسی منطقی -- کنگره‌ها,استقرا (منطق) -- کنگره‌ها
رده :
E-Book
,
59. Inductive Logic Programming
پدیدآورنده : \ Jesse Davis, Jan Ramon (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming,برنامه‌نویسی منطقی, -- Congresses, -- کنگره‌ها,a03,a03,Induction (Logic) -- Congresses.,Machine learning -- Congresses.,استقرا (منطق) -- کنگره ها,فراگیری ماشینی -- کنگره ها
رده :
QA
76
.
63
.
I57
2015
E-Book
,
60. Information and Knowledge: a constructive type-theoretical approach
پدیدآورنده : / By Giuseppe Primiero,پریمیرو,Primiero
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : شناخت (فلسفه),منطق
رده :
۴
پ
BD
۱۶۱
/
۱۳۸۷ ۹
الف
